Program

last modified: 06 Nov 2021

Search titles and author lists

Wednesday, 3 Nov 2021

2021-11-03T09:00:00+01:00 - 2021-11-03T12:00:00+01:00 09:00 - 12:00
Tutorial:

Solving equations in modal and description logics


Philippe Balbiani
2021-11-03T09:00:00+01:00 - 2021-11-03T12:00:00+01:00 09:00 - 12:00
Tutorial:

Complex Event Recognition and Forecasting


Elias Alevizos and Alexander Artikis
2021-11-03T09:30:00+01:00 - 2021-11-03T16:00:00+01:00 09:30 - 16:00
Workshop:

Knowledge Representation for Hybrid and Compositional AI (KRHCAI)


Kwabena Nuamah, Jeff Z. Pan, Pavan Kapanipathi and Efi Tsamoura
2021-11-03T14:00:00+01:00 - 2021-11-03T17:00:00+01:00 14:00 - 17:00
Tutorial:

KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness


Marcello Balduccini, Edward Griffor and Tran Cao Son
2021-11-03T14:00:00+01:00 - 2021-11-03T17:00:00+01:00 14:00 - 17:00
Tutorial:

Answer Set Programming: From Theory to Practice


Roland Kaminski, Javier Romero, Torsten Schaub and Philipp Wanko